Dynamic Service Composition
نویسندگان
چکیده
In this paper we focus on a composition model of services, which are composed from pre-programmed components represented as Java classes. The main part of the paper is devoted to the examples of services synthesized automatically on the basis of their logical specifications. We use a simple logic and a specification language that enable us to reason about and deploy components automatically. The proposed composition model uses a logical proof as witness for the correct deployment of components in the context of their use. The composition model has been implemented in Java as an environment for dynamic composition of applications. We illustrate the proposed composition method in a case study of composition of a service.
منابع مشابه
An Autonomic Service Oriented Architecture in Computational Engineering Framework
Service Oriented Architecture (SOA) technology enables composition of large and complex computational units out of the available atomic services. Implementation of SOA brings about challenges which include service discovery, service interaction, service composition, robustness, quality of service, security, etc. These challenges are mainly due to the dynamic nature of SOA. SOAmay often need to ...
متن کاملAn Autonomic Service Oriented Architecture in Computational Engineering Framework
Service Oriented Architecture (SOA) technology enables composition of large and complex computational units out of the available atomic services. Implementation of SOA brings about challenges which include service discovery, service interaction, service composition, robustness, quality of service, security, etc. These challenges are mainly due to the dynamic nature of SOA. SOAmay often need to ...
متن کاملCloud Architecture for Dynamic Service Composition
Service composition provides value-adding services through composing basic Web services, which may be provided by various organizations. Cloud computing presents an efficient managerial, on-demand, and scalable way to integrate computational resources (hardware, platform, and software). However, existing Cloud architecture lacks the layer of middleware to enable dynamic service composition. To ...
متن کاملAn Architecture to Support Dynamic Composition of Service Components and its Applicability to Internet Security
........................................................................................................................ iii Acknowledgments ........................................................................................................ iv List of Figures ............................................................................................................... x Chapter 1: Introdu...
متن کاملLoose Interface Definition: An Extended Interface Definition for Dynamic Service Composition
The concept of Dynamic Service Composition is to create a complex composite service through combining multiple software or hardware components at runtime. Dynamic Service Composition is similar to object-oriented or component-based software design approach since in both approaches an application is built as a combination of multiple components. However, in Dynamic Service Composition, an applic...
متن کاملDynamic Service Composition and Its Applicability to E-Business Software Systems – The ICARIS Experience
This paper discusses dynamic service composition and its applicability to e-business software systems. Dynamic service composition is the process of creating new services at run-time from a set of service components. It supports business agility, flexibility, and availability – the features of critical importance in the modern business world and in eand m-commerce software systems. However, dyn...
متن کامل